A Graphical Yet Formalized Framework for Specifying View Systems
نویسندگان
چکیده
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and is suitable for any data model for which schema mappings are defined. In particular, the constructs of query, query language, view and view integration can be consistently expressed in this arrow formalism and correspondingly specified. This gives rise to a general graph-based framework for specifying complex view systems. Basic constructions of the language and the entire framework as well can be considered as specialization of very general constructs developed in the mathematical category theory.
منابع مشابه
Frame Inform System Formalizing Graphical Schemas for Conceptual Modeling: Sketch-based Logic Vs.heuristic Pictures Formalization of Graphical Schemas: General Sketch-based Logic vs. Heuristic Pictures
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...
متن کاملHeterogeneous View Integration via Sketches and Equations
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise specifications suitable for implementation: the approach is an adaptation of a familiar in the mathematical category theory specification framework based on the so called sketches. On this ground, a...
متن کاملFormalization of Graphical Schemas: General Sketch-based Logic vs. Heuristic Pictures
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...
متن کاملFormalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool ba...
متن کاملAlgebraic Graph - Based Approach to Management of MultibaseSystems , I : Schema Integration via Sketches
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997